منابع مشابه
Towards an Integrated Model Checker for Railway Signalling Data
Geographic Data for Solid State Interlocking (SSI) systems detail site-specific behaviour of the railway interlocking. This report demonstrates how five vital safety properties of such data can be verified automatically using model checking. A prototype of a model checker for Geographic Data has been implemented by replacing the parser and compiler of NuSMV. The resulting tool, gdlSMV, directly...
متن کاملAcceleration-Based Quality Assessment of Railway Tracks using a 2D simulation model and recorded track data
Car body acceleration is an important factor affecting track safety and ride comfort, which are two primary aspects of railway systems. Though track level is an important source of wagon body acceleration, no quantitative relation between them is available and the aim of this paper is to propose a method to address this issue. To do so, car body acceleration is determined using a 10 DOF simulat...
متن کاملImpact of signalling and automation failure modes on railway operation: assessment by simulation
The dependability or RAM (Reliability, Availability and Maintainability) parameters are the most important elements that allow to estimate the Life Cycle Cost (LCC) of a system and to forecast performances during operating conditions. In the field of railway transportation, conventional measures, such as the mean delay of the train, or the Service Dependability (SD), can be profitably used to e...
متن کاملRailway Signalling since the birth to ERTMS
Railway signalling can be defined as all systems used to control railway traffic safely, essentially to prevent trains from colliding. Over the years knoledgment and technology able to satisfy this issue have been implemented. After a long period during which each European nation used its own system (with the conseguent absence of interoperabilty among them), ERTMS/ETCS is currently the most co...
متن کاملRailway Simulation with the CASSANDRA Simulation System
This paper describes a railway system simulation to be used by train railway system operators. We have developed a learning tool for education, but, besides, different railway system models can be analyzed. Wedonot need to build the physical railway model, but may experiment with the planned system on the computer. The modeled system can be built easily and effectively and its behaviour may be ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Transactions of the VŠB - Technical University of Ostrava, Mechanical Series
سال: 2015
ISSN: 1210-0471,1804-0993
DOI: 10.22223/tr.2015-2/1998